< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然 后,从集合、序列等基本数学符号表示到B 语言的结构化机制,再到它所支 持的大型程序设计方法,全面地介细了B 符号语言的描述方法。
上传时间: 2014-11-29
上传用户:康郎
基于 Ma t l a b语言的遗传算法工具箱支持二进制和浮点数编码方式, 并且提供了多种选择、 交叉、 变异的方法。 通过具体实例对 Ma t l a b的遗传 算法工具箱的用法进行 了说 明介绍.
上传时间: 2017-09-05
上传用户:671145514
C语言进阶——嵌入式系统高级C语言编程
上传时间: 2013-11-23
上传用户:GeekyGeek
~{JGR 8vQ IzWwR5SC5D2V?bD#DbO5M3~} ~{3v?b~} ~{Hk?b~} ~{2iQ/5H9&D\~} ~{?IRTWw@)3d~} ~{TZ~}JDK1.4.2~{OBM(9}~}
上传时间: 2015-02-22
上传用户:ommshaggar
JAVA语言程序设计主要说明了Java是目前最常用的计算机编程语言和JAVA的分布式和多线程等先进高级计算机语言的特点,《Java语言程序设计》一书语言简单易学,不需要长时间的培训就可以编写出适合现在企业或个人需要的程序。
上传时间: 2015-06-02
上传用户:thuyenvinh
b to b 模式 电子商务系统 ,c# 开发 , B/S结构
上传时间: 2014-01-20
上传用户:hanli8870
1. 用任何一种高级开发语言编程实现矩阵相乘的Strassen算法。 2. 分析其时间复杂度。 3. Strassen算法与传统算法其优点与不足之处。
上传时间: 2014-03-07
上传用户:风之骄子
Java是最优秀的高级编程语言之一,多项式的加法运算,体现了链表数据结构的优势.
上传时间: 2015-10-12
上传用户:songyue1991
Java是最优秀的高级编程语言之一,二叉树是一种重要的数据结构.
上传时间: 2015-10-12
上传用户:huyiming139
8051的高级C语言编程 很多细节写的很好 通读此书 必将收益很多
上传时间: 2014-01-04
上传用户:hongmo